A New Timing Schema for WCET Analysis
نویسندگان
چکیده
The timing schemas proposed in various approaches for Worst Case Execution Time (WCET) estimation lack the ability of handling more path-based low level analysis and non-structured code. As it is extremely efficient in the computational stage, we propose a technique to handle these cases, while still retaining most of the efficiency of the syntax tree timing schema. This is achieved by changing the rules for the construction of the computational tree. As a result, the analysis becomes more path aware without affecting the safety of the approach.
منابع مشابه
An Accurate Worst Case Timing Analysis Technique for RISC Processors
An accurate and safe estimation of a task's worst case execution time (WCET) is crucial for reasoning about the timing properties of real-time systems. In RISC processors , the execution time of a program construct (e.g., a statement) is aaected by various factors such as cache hits/misses and pipeline hazards, and these factors impose serious problems in analyzing the WCETs of tasks. To analyz...
متن کاملThe Auspicious Couple: Symbolic Execution and WCET Analysis
We have recently shown that symbolic execution together with the implicit path enumeration technique can successfully be applied in the Worst-Case Execution Time (WCET) analysis of programs. Symbolic execution offers a precise framework for program analysis and tracks complex program properties by analyzing single program paths in isolation. This path-wise program exploration of symbolic execut...
متن کاملGeneralizing timing predictions to set-associative caches
Recently, research on the static prediction of worst-case execution time (WCET) of programs has been extended from simple CISC to pipelined RISC processors, and from uncached architectures to direct-mapped instruction caches. This work goes one step further by introducing a framework to handle WCET prediction for set-associative caches. Generalizing the work of static cache simulation of direct...
متن کاملOn Composable System Timing, Task Timing, and WCET Analysis
The complexity of hardware and software architectures used in today’s embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the source of this complexity in terms of mechanisms and side effects that determine variations in the timing of single tasks and entire applications. Based on these observations, the paper proposes strategies to reduce the compl...
متن کاملDiscussion of Misconceptions about WCET Analysis
Worst-case execution time (WCET) analysis tools are needed for the development of hard real-time systems. Despite the theoretic advances in academic research in WCET there has been hardly any impact on the industrial practice of timing analysis. The essential question is why it was not possible to provide more influential research over the last one-and-a-half decades. This paper gives construct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004